Static Analysis of SEU Effects on Software Applications
نویسندگان
چکیده
Control Flow Errors have been widely addressed in literature as a possible threat to the dependability of computer systems, and many clever techniques have been proposed to detect and tolerate them. Nevertheless, it has never been discussed i f the overheads introduced by many of these techniques ore justified by a reasonable probabilip of incurring Control Flow Errors. This paper presents a static executable code analysis methodology able to compute, depending on the torget microprocessor platform, the upper-boundprobability that o given application incurs in a Control Flow Error
منابع مشابه
SEU effects in registers and in a Dual-Ported Static RAM designed in a 0.25 μm CMOS technology for applications in the LHC
A dedicated high-speed 18 Kbit static memory featuring synchronous mode, parity and dual port access has been designed and fabricated in a quarter micron 3 metals commercial CMOS technology. This SRAM has been designed to be a test vehicle to measure Single Event Upset (SEU) effects on a real circuit. The measurements have been performed at the cyclotron of Louvain-la-Neuve, Belgium, with a pro...
متن کاملSEU Mitigation Testing of Xilinx Virtex II FPGAs
SRAM-based reconfigurable programmable logic is widely used in commercial applications and occasionally used in space flight applications because of its susceptibility to singleevent upset (SEU). Upset detection and mitigation schemes have been tested on the Xilinx Virtex II X-2V1000 in heavy-ion and proton irradiation to control the accumulation of SEUs and to mitigate their effects on the int...
متن کاملDynamic Partial based Single Event Upset (SEU) Injection Platform on FPGA
SRAM based FPGAs are attracting considerable interest especially in aerospace applications due to their high reconfigurability, low cost and availability. However, these devices are strongly susceptible to space radiation effects which are able to cause unwanted single event upsets (SEUs) in the configuration memory. In order to mitigate the SEU effects, various methods have been investigated i...
متن کاملEvaluation of slope stability in static and pseudo-static earth dam using software Gio Studio and Plaxis (Case Study dam Kaboodval)
The seepage and slope stability are very important and necessary in the dam dirt are, therefore, in this context, numerous applications to predict and calculate the rate of leakage has been prepared that than the experimental time and cost savings for the analysis of liquids before construction of earth dams need. In this study, safety factors for slope stability software Kaboodwal plaxis two-...
متن کاملMeshing Error of elliptic cylinder gear based on tooth contact analysis
In order to study the dynamic meshing characteristics of the elliptic cylinder gear and obtain the meshing error of the gear transmission system, the two-dimensional static contact analysis of the gear tooth surface is carried out by using ANSYS software, and the key parts of the contact area of the tooth surface are determined. Then, the dynamic meshing model of the elliptic cylinder gear is e...
متن کامل